Algorithmic Aspects of Semitotal Domination in Graphs

For a graph G = (V,E), a set D ⊆ V is called a semitotal dominating set of G if D is a dominating set of G, and every vertex in D is within distance 2 of another vertex of D. The Minimum Semitotal Domination problem is to find a semitotal dominating set of minimum cardinality. Given a graph G and a positive integer k, the Semitotal Domination Decision problem is to decide whether G has a semitotal dominating set of cardinality at most k. The Semitotal Domination Decision problem is known to be NP-complete for general graphs. In this paper, we show that the Semitotal Domination Decision problem remains NP-complete for planar graphs, split graphs and chordal bipartite graphs. We give a polynomial time algorithm to solve the Minimum Semitotal Domination problem in interval graphs. We show that the Minimum Semitotal Domination problem in a graph with maximum degree ∆ admits an approximation algorithm that achieves the approximation ratio of 2 + 3 ln(∆ + 1), showing that the problem is in the class log-APX. We also show that the Minimum Semitotal Domination problem cannot be approximated within (1 − ǫ) ln |V | for any ǫ > 0 unless NP ⊆ DTIME (|V | log |V ). Finally, we prove that the Minimum Semitotal Domination problem is APX-complete for bipartite graphs with maximum degree 4.